1. <A> Roadmap for Formal Property Verification
پدیدآورنده: \ by Pallab Dasgupta
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Integrated circuits -- Verification,مدارهای مجتمع -- راستیآزمایی
رده :
E-Book
,

2. A roadmap for formal property verificatio
پدیدآورنده: / by Pallab Dasgupta
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Integrated circuits--Verification
رده :
TK
,
7874
.
58
,.
D37
,
2006


3. A roadmap for formal property verification
پدیدآورنده: / by Pallab Dasgupta
کتابخانه: کتابخانه پرديس 2 دانشکدههای فنی دانشگاه تهران (تهران)
موضوع: Integrated circuits -- Verification
رده :
TK
7874
.
58
.
D37
2006

